void ex2_1();
